软考真题
第11题
给定元组演算表达式R*={t│(Эu)(R(t)∧S(u)∧t[3]( )。